Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
931	Decision Problems for Deterministic Pushdown Automata on Infinite Words ¨ Christof Loding RWTH Aachen University, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-07-22 06:08:02 Formal languages Computer science Deterministic pushdown automaton SC Finite-state machine Alphabet Ordinal number Nested word Automata theory Theoretical computer science Models of computation
932	Fall$2014:$EECS$Textbook$Order Please see the most updated information on http://wolverineaccess.umich.edu/ -> UM COURSE CATALOG -> Class Search (enter course subject and number) -> click on the class section number -> Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2014-05-23 11:24:57 Addison-Wesley Pearson PLC Theory of computation Textbook Ada Programming language Fawwaz T. Ulaby Computing Software engineering Computer programming
933	Changing Flights in Mid-air: A Model for Safely Modifying Continuous Queries Kyumars Sheykh Esmaili, Tahmineh Sanamrad, Peter M. Fischer, Nesime Tatbul Systems Group, ETH Zurich, Switzerland {kyumarss, sanamrat, petﬁs Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-04-19 11:39:05 Database management systems Models of computation Query languages Database theory Programming paradigms SQL FO Database Bin Computing Data management Theoretical computer science
934	Technical Report UCAM-CL-TR-860 ISSN[removed]Number 860 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-10-27 06:21:45 Programming language semantics Applied mathematics Models of computation Denotational semantics Programming paradigms Abstraction Programming language Domain theory Operational semantics Theoretical computer science Logic in computer science Mathematics
935	Minimalist Multiple Target Tracking Using Directional Sensor Beams Leonardo Bobadilla, Oscar Sanchez, Justin Czarnowski, Steven M. LaValle Abstract— We consider the problem of determining the paths of multiple, unpredi Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2011-10-14 01:25:06 Mathematical optimization Models of computation Multi-agent systems Dynamic programming Operations research Optimal control Algorithm Agent-based model Wireless sensor network Mathematics Systems theory Science
936	arXiv:1312.4455v1 [quant-ph] 16 Dec[removed]The Universe as Quantum Computer Seth Lloyd Department of Mechanical Engineering Massachusetts Institute of Technology Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-12-16 20:26:09 Theory of computation Computability theory Alan Turing Turing machine Digital physics Church–Turing thesis Computational complexity theory Computation Halting problem Theoretical computer science Computer science Mathematics
937	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
938	Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:16 Formal methods Computer science Finite-state machine Petri net Automata theory Models of computation Theoretical computer science
939	Using Hands-On Visualizations to Teach Computer Science from Beginning Courses to Advanced Courses Susan H. Rodger∗ Department of Computer Science Duke University Durham, NC 27705 Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2002-06-14 13:50:50 Theoretical computer science Mathematics Formal languages National Parliamentary Debate Association Pushdown automaton Deterministic pushdown automaton Alphabet Algorithm Turing machine Theory of computation Models of computation Automata theory
940	ON PURPOSE AN ENQUIRY INTO THE POSSIBLE ROLES OF THE COMPUTER IN ART HAROLD COHEN Add to Reading List Source URL: www.aaronshome.com Language: English - Date: 2014-09-12 15:26:30 Computer Computing Machine code Machine-or-transformation test Abstract machine Computer science Register machines Pointer machine Random access machine Models of computation Theory of computation Theoretical computer science

UPDATE